-
1 logistical
adjective mil.относящийся к тылу, тыловой; logistical number номер, присваиваемый грузу при автоперевозке; logistical support материально-техническое обеспечение* * *1 (a) тыловой2 (r) относящийся к тылу* * *относящийся к математической логике, логистике* * *adj. относящийся к математической логике, вычислительный* * *I прил. 1) относящийся к математической логике 2) вычислительный II прил.; воен. относящийся к тылу -
2 Grundaussage
сущ.1) комп. исходное высказывание, основное высказывание, исходное суждение (в математической логике) -
3 logico-
компонент сложных слов со значением: логический - logico-mathematical относящийся к математической логике -
4 logistical
ləuˈdʒɪstɪkəl I прил.
1) относящийся к математической логике, логистике
2) вычислительный II прил.;
воен. относящийся к тылу, тыловой logistical support ≈ материально-техническое обеспечение( военное) тыловой, относящийся к тылу - * support материально-техническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечениеБольшой англо-русский и русско-английский словарь > logistical
-
5 logico
logico-
1> компонент сложных слов со значением: логический
_Ex:
logico-mathematical относящийся к математической логике -
6 logisticien
m (f - logisticienne) -
7 undecidability
-
8 express an operation in terms of the Sheffer stroke
Универсальный англо-русский словарь > express an operation in terms of the Sheffer stroke
-
9 free variable
1) Техника: несвязанная переменная2) Экономика: свободная переменная -
10 ignorance
['ɪgnərəns]1) Общая лексика: безграмотность, неведение, невежественность, невежество, незнание, неученье, отсутствие информации2) Техника: пренебрежение, незнание (в математической логике)3) Математика: незнакомство4) Юридический термин: заблуждение, неосведомлённость5) Официальное выражение: непринятие во внимание6) юр.Н.П. невинность7) Макаров: полное невежество -
11 importation
[ˌɪmpɔː'teɪʃ(ə)n]1) Общая лексика: ввезённый товар, ввоз, внесение, импорт, предмет ввоза, импортирование, импортные товары, заимствование2) Техника: внос3) Математика: импортация4) Юридический термин: ввоз товаров в страну5) Налоги: импортная операция6) Деловая лексика: ввозимый товар7) Макаров: введение, внесение (в математической логике) -
12 logico-mathematical
Общая лексика: относящийся к математической логике -
13 n-tuple
1) Математика: n-строка, кортеж, кортеж из n элементов, набор из n чисел, умноженный на n2) Вычислительная техника: N-кратный, кортеж из п элементов, энка3) Контроль качества: n-кратный (напр. о резервировании)4) Макаров: n-строка (в геометрии), n-ка (в математической логике) -
14 undecidability
1) Техника: неразрешимость (в математической логике)2) Робототехника: невозможность принятия решения -
15 logistical
[ləʊ`ʤɪstɪk(ə)l]относящийся к математической логике, логистикевычислительныйотносящийся к тылу, тыловойАнгло-русский большой универсальный переводческий словарь > logistical
-
16 Aquivalenz
сущ.электр. равнозначность (в математической логике), эквивалентность -
17 Äquivalenz
-
18 logisticien
сущ.общ. (Métier) логист, специалист по математической логике, специалист по материально-техническому обеспечению -
19 logico-
[ʹlɒdʒıkəʋ-]компонент сложных слов со значением логический: -
20 field
= FLD1) полеа) в СУБД - наименьший значимый элемент записи в базе данных; в реляционных БД поля называют также столбцами данных (column), или атрибутами (attribute) (см. тж. relation, relational model). Каждое поле записи характеризуется типом (числовое, символьное, логическое, поле даты и т. п.) и максимальной длинойсм. тж. alphanumeric field, calculated field, data field, database, field name, field separator, flat file, input field, key field, memo field, numeric field, record field, sort field, tag fieldсм. тж. field typeв) элемент входной или выходной формы, бланка, отчётасм. тж. address fieldд) в ООП - данные, относящиеся либо к классу, либо к объекту, и определяющие состояние (state) класса или объекта.Syn:2) область, сфера, поле деятельности3) производимый в полевых условиях, полевой; реальные условия эксплуатациисм. тж. field engineer4) в телевизоре или дисплее с чересстрочной развёрткой - одна из двух групп строк развёртки (сканирования), при помощи которых формируется каждое полноэкранное изображение; кадр состоит из верхнего ("нечётного") и нижнего ("чётного") полей, или полукадров5) область пространства, находящаяся под воздействием некоторой физической силы (гравитации, электрического потенциала или магнетизма)6) в математической логике - множество всех аргументов и значений функции, совокупность её домена и содомена7) в теории множеств - множество, все члены которого образуют коммутативную группу относительно операции сложения, а при исключении нулевого элемента - и умножения8) полевойАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > field
- 1
- 2
См. также в других словарях:
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Имя (в логике) — Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён различают имена… … Большая советская энциклопедия
ПСИХОЛОГИЗМ В ЛОГИКЕ — система взглядов, согласно которым законы логики являются законами психологии. Сторонники П. в л. стремились интерпретировать понятия, принципы и законы логики как непосредственное выражение тех устойчивых связей между мыслями, которые возникают… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПОРЕЦКИЙ — Платон Сергеевич [3(15).10.1846, Елиза ветград, ныне Кировоград, 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам… … Философская энциклопедия